<%@ page language="java" import="java.util.*,user.*" pageEncoding="gb2312"%>
<%
String path = request.getContextPath();
String basePath = request.getScheme()+"://"+request.getServerName()+":"+request.getServerPort()+path+"/";
request.setCharacterEncoding("gb2312");
%>
<%
Student student = (Student)session.getAttribute("student");
if(student == null || !student.isLogin()) {
	response.sendRedirect(path+"/index.jsp");
	return;
}
%>
